prove that the derivative of ln(x)=1